4

Formal reasoning about systems biology using theorem proving

Year:
2017
Language:
english
File:
PDF, 5.88 MB
english, 2017
31

Review of Finite Element Simulation of Granular Materials

Year:
2014
Language:
english
File:
PDF, 290 KB
english, 2014
38

On the Formalization of Gamma Function in HOL

Year:
2014
Language:
english
File:
PDF, 396 KB
english, 2014